1. Finite transition systems : semantics of communicating systems, Systemes de transitions finit et semantique des processus communicants. English
المؤلف: Arnold, A.)Andre(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
2. Mathematics for computer science
المؤلف: Arnold, A.)Andre(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics,Mathematics. ، Computer science - Mathematics
رده :
QA
39
.
2
.
A688
1996
3. Mathematics for computer science
المؤلف: Arnold, A.)Andre(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematics,، Computer science-- Mathematics
رده :
QA
39
.
2
.
A688
1996
4. Rudiments of ]mu[-calculus
المؤلف: Arnold, A.)Andre(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebraic logic,، Monotonic functions,، Fixed point theory,، Lattice theory,، Machine theory
رده :
QA
10
.
A76
2001
